match(l;t;t')
== ||snds(l;t)|| z ||rcvs(l;t')||
==  ||rcvs(l;t')|| <z (||snds(l;t)||+||onlnk(l;m(source(l);t))||) 

latex

---

clarification:

w-match(w; l; t; t')
== ||w-snds(w; l; t)|| z ||w-rcvs(w; l; t')||
==  ||w-rcvs(w; l; t')|| <z (||w-snds(w; l; t)||+||onlnk(l;w-m(w; source(l); t))||) 

latex

Definitions	p  q, i z j, i <z j, rcvs(l;t), n+m, snds(l;t), ||as||, onlnk(l;mss), m(i;t), source(l)
FDL editor aliases	w-match